flask: DOMCTL_soft_reset support
authorVitaly Kuznetsov <vkuznets@redhat.com>
Thu, 10 Sep 2015 14:54:48 +0000 (16:54 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 10 Sep 2015 14:54:48 +0000 (16:54 +0200)
commit8cc7f2727591d5525870031f28ecbdf0c1890772
tree56654b3dd476250983eb325d1e77afd2bb5c84c6
parent1a043f9dc70255e8558e7daf05272d620696bee9
flask: DOMCTL_soft_reset support

Add new soft_reset vector to domain2 class, add it to create_domain
in the default policy.

Signed-off-by: Vitaly Kuznetsov <vkuznets@redhat.com>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
tools/flask/policy/policy/modules/xen/xen.if
xen/xsm/flask/hooks.c
xen/xsm/flask/policy/access_vectors